proof method

[计] 验证法,证明方法